summation derivation